info_TEXINFOS=robotfindskitten.texi
man_MANS=robotfindskitten.6
EXTRA_DIST=$(man_MANS)

